Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
31	JavaServer Faces Finally, a component model for enterprise Java! Denver Java User’s Group October 8, 2003 Add to Reading List Source URL: www.trijug.org Language: English - Date: 2014-03-19 22:22:22 JavaServer Faces Java specification requests Java programming language Apache Struts Java Platform Enterprise Edition Facelets Apache MyFaces Computing Web application frameworks Java enterprise platform
32	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing
33	Microsoft Word - 2001_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:46 Ada programming language Year of birth missing Ada Semantic Interface Specification Ada Association for Computing Machinery GNAT Andy Wellings A Sharp Robert Dewar Computing Software engineering Computer programming
34	Lemma 1 Ref: DS/FMU/FEF/019 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (I) Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:58 Procedural programming languages Data types Functional languages Type theory Standard ML Enumerated type ALGOL 68 SQL Primitive data type Computing Software engineering Programming language theory
35	Association for Computing Machinery 2 Penn Plaza, Suite 701 New York, NYVolume XXXIII Add to Reading List Source URL: www.sigada.org Language: English - Date: 2013-11-05 11:34:02 Ada programming language Association for Computing Machinery Ada Semantic Interface Specification Ada GNAT Communications of the ACM Computer science Ravenscar profile Andy Wellings Computing Software engineering Computer programming
36	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.2, April 30, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Java Modeling Language Frama-C KeY Programming language C SQL Logic programming Computing Software engineering Computer programming
37	SIRTF SOS-FOS Software Interface Specification 3020 Housekeeping, Engineering, and PCS Encapsulated Coma Separated Value (ECSV) Files October 11, 1999 Add to Reading List Source URL: spider.ipac.caltech.edu Language: English - Date: 2003-08-25 18:29:26 Column Data modeling Comma-separated values ALGOL 68 Computing Programming language theory Software engineering
38	Formalizing OpenMP Performance Properties with ASL T. Fahringer (Univ. of Vienna), M. Gerndt (TU Munich), G. Riley (Univ. of Manchester), J. Träff (NEC Europe) Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2000-11-02 09:11:14 Parallel computing Application programming interfaces Fortran OpenMP Profiling Specification language C Sharp ALGOL 68 Computing Computer programming Software engineering
39	ACSL Version 1.5 Implementation in Carbon+dev ACSL: ANSI/ISO C Specification Language Version 1.5 – Carbon+dev Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C programming language C++ Pointer C ANSI/ISO C Specification Language Pascal Logic programming Predicate Software engineering Computing Computer programming
40	DRA FRONT END FILTER PROJECT Specification of SSQL Semantics II Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:09 Procedural programming languages Functional languages ALGOL 68 C++ HOL KeY Id C++ classes Sequence container Programming language theory Computing Software engineering